Советский философский словарь - порецкий платон сергеевич
Связанные словари
Порецкий платон сергеевич
порецкий платон сергеевич
[3(15).10.1846, Елизаветград, ныне Кировоград 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам П. был материалистом. Формальные методы в логике, согласно П., могут быть обоснованы лишь анализом содержат. оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают её. П. считал, что математич. логика по предмету своему есть логика, а по методу математика. П. были получены существ. результаты, относящиеся к алгебре логики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.нахождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (определ. вида) из данных посылок; все гипотезы, из к-рых может следовать данное заключение; все различные эквивалентные формы, в к-рых могут быть представлены данные выражения посылки и заключения.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(3(15). 10.1846, Елизаветград Херсонской губ. 10(23). 08.1907, с. Жоведь Черниговской губ.) логик, естествоиспытатель, публицист. В 1870 г. закончил физико-математический ф-т Харьковского ун-та. В 1876 г. назначен астрономом-наблюдателем Казанского ун-та, получил степень доктора астрономии и звание приват-доцента сферической тригонометрии. Несколько лет был редактором казанской газ. "Телеграф". На основе работы "О способах решения логических равенств и об обратном способе математической логики" (Собрание протоколов заседаний секции физико-математических наук при Казанском университете. Казань. 1884. Т. 2. С. 161-330) впервые в России читал в Казанском ун-те лекции по алгебре логики. Исходил из различения "количественных форм", изучаемых алгеброй, и "качественных форм", исследуемых логикой. П. усматривал и сходство (до определенных пределов) обеих наук, к-рое объясняет возможность модификаций и приспособления алгебраических приемов к логике. Результаты своих исследований П. представил в написанных на фр. яз. работах "Семь основных законов теории логических равенств" (Poretzky P. S. Sept lois fondamentales de la theorie des egalites logiques // Известия физико-математического...Русская философия
2.
(род. 3 окт. 1846, Елизаветград ум. 9 авг. 1907, с. Жоведь Черниговской губ.) рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия ("О способах решения логических равенств и об обратном способе математической логики", 1884). В философских воззрениях придерживался естественнонаучного материализма. ...Философский энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1742 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 759 | |
11 | 751 | |
12 | 733 | |
13 | 701 | |
14 | 701 | |
15 | 699 | |
16 | 683 | |
17 | 680 | |
18 | 656 | |
19 | 650 | |
20 | 631 |